大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Concept Analysis [electronic resource] : Foundations and Applications

0
索取号：
作者：Ganter、 Bernhard.、Stumme、 Gerd.、Wille、 Rudolf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Harman、 Neil.、Roggenbach、 Markus.、Rutten、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Networking and Mobile Computing [electronic resource] : Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005. Proceedings

0
索取号：
作者：Lu、 Xicheng.、Zhao、 Wei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29鈥揝eptember 2, 2005. Proceedings

0
索取号：
作者：Je抬drzejowicz、 Joanna.、Szepietowski、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

0
索取号：
作者：Diekert、 Volker.、Durand、 Bruno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Dayd茅、 Michel.、Dongarra、 Jack.、Hern谩ndez、 Vicente.、Palma、 Jos茅 M. L. M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

0
索取号：
作者：Ferretti、 Claudio.、Mauri、 Giancarlo.、Zandron、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

0
索取号：
作者：Ng、 Wee Siong.、Ooi、 Beng-Chin.、Ouksel、 Aris M.、Sartori、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Membrane Computing [electronic resource] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Mauri、 Giancarlo.、P膬un、 Gheorghe.、P茅rez-Jim茅nez、 Mario J.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Aided Systems Theory-EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 鈥౱, 2005, Revised Selected Papers

0
索取号：
作者：Moreno D铆az、 Roberto.、Pichler、 Franz.、Quesada Arencibia、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Parallel Computing Technologies [electronic resource] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

0
索取号：
作者：Malyshkin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

0
索取号：
作者：艢l臋zak、 Dominik.、Wang、 Guoyin.、Szczuka、 Marcin.、D眉ntsch、 Ivo.、Yao、 Yiyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II

0
索取号：
作者：艢l臋zak、 Dominik.、Yao、 JingTao.、Peters、 James F.、Ziarko、 Wojciech.、Hu、 Xiaohua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号：
作者：A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院